match(l;t;t')
== ||snds(l;t)||||rcvs(l;t')||  ||rcvs(l;t')||<||snds(l;t)||+||onlnk(l;m(source(l);t))|| 

latex

---

clarification:

w-match(w; l; t; t')
== ||w-snds(w; l; t)||||w-rcvs(w; l; t')||
==  ||w-rcvs(w; l; t')||<||w-snds(w; l; t)||+||onlnk(l;w-m(w; source(l); t))|| 

latex

Definitions	p  q, ij, i<j, rcvs(l;t), n+m, snds(l;t), ||as||, onlnk(l;mss), m(i;t), source(l)
FDL editor aliases	w-match